import Solver from "../entity/logicSolver";

export function callbackChecking(solver: Solver, idx: number) {}
